argo-lib: A Generic Platform for Decision Procedures
نویسندگان
چکیده
argo-lib is a C++ library that provides support for using decision procedures and for schemes for combining and augmenting decision procedures. This platform follows the smt-lib initiative which aims at establishing a library of benchmarks for satisfiability modulo theories. The platform can be easily integrated into other systems. It also enables comparison and unifying of different approaches, evaluation of new techniques and, hopefully, can help in advancing the field.
منابع مشابه
Obstacle and Lane Detection on the ARGO Autonomous Vehicle
This work presents ARGO, the autonomous experimental vehicle developed at the Dipartimento di Ingegneria dell’Informazione of the University of Parma, Italy. ARGO integrates the main results that have been extensively tested on the MOB-LAB mobile laboratory, namely the GOLD (Generic Obstacle and Lane Detection) system: a stereo vision-based hardware and software architecture that allows to dete...
متن کاملVision-based Automated Vehicle Guidance: the experience of the ARGO vehicle
This paper presents and discusses the results obtained by the GOLD (Generic Obstacle and Lane Detection) system as an automatic driver of ARGO. ARGO is a Lancia Thema passenger car equipped with a computer vision system that allows to extract road and environmental information from the acquired scene; it has been demonstrated to drive autonomously on a number of different road and environmental...
متن کاملThe Experience of the ARGO Autonomous
This paper presents and discusses the rst results obtained by the GOLD (Generic Obstacle and Lane Detection) system as an automatic driver of ARGO. ARGO is a Lancia Thema passenger car equipped with a vision-based system that allows to extract road and environmental information from the acquired scene. By means of stereo vision, obstacles on the road are detected and localized, while the proces...
متن کاملDevelopment and validation of a generic questionnaire for the implementation of complex medical interventions
INTRODUCTION The implementation of complex medical interventions in daily practice is often fraught with difficulties. According to the iterative phase model proposed by the British Medical Research Council (MRC), the development, implementation and evaluation of complex interventions should be theory-driven. A conceptual model that seems to be a promising framework is the Theory of planned beh...
متن کاملCognitive support, UML adherence, and XMI interchange in Argo/UML
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the essential and difficult cognitive tasks facing designers. These cognitive tasks include decision-making, decision ordering, and task-specific design understanding. This paper describes Argo/UML, an object-oriented design ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004